ご提示いただいた注意を厳頭に置き、論理の飛躍や曖昧な表現を排除し、すべてのステップの細部を厳密に詰めて記述します。 --- ## 1. 一般の圏における諸定義 ### グロタンディーク位相（Grothendieck Topology）の定義 圏 $\mathcal{B}$ における**ふるい（sieve）** $S$ とは、ある対象 $X \in \mathcal{B}$ を余ドメイン（codomain）とする射の集合であって、右からの合成について閉じているもの（すなわち、 $f \in S$ かつ $\operatorname{codom}(g) = \operatorname{dom}(f)$ ならば $f \circ g \in S$）を指します。 圏 $\mathcal{B}$ 上の**グロタンディーク位相** $J$ とは、各対象 $X \in \mathcal{B}$ に対して $X$ 上のふるいの集合 $J(X)$（これを**被覆ふるい**と呼ぶ）を割り当てる写像であり、以下の3つの公理を満たすものです： 1. **極大性（Maximality）**: $X$ 上の最大ふるい $t_X = \{f \in \operatorname{Mor}(\mathcal{B}) \mid \operatorname{codom}(f) = X\}$ は $J(X)$ に属する。 2. **底の変換の下での安定性（Stability under base change）**: $S \in J(X)$ かつ任意の射 $h: Y \to X$ に対し、その引き戻しふるい $$h^*S = \{g \in \operatorname{Mor}(\mathcal{B}) \mid \operatorname{codom}(g) = Y, \, h \circ g \in S\}$$ は $J(Y)$ に属する。 3. **推移性（Transitivity）**: $S \in J(X)$ であり、 $R$ が $X$ 上の任意のふるいとする。任意の $h \in S$ に対して $h^*R \in J(\operatorname{dom}(h))$ が成り立つならば、 $R \in J(X)$ である。 ### カノニカル位相（Canonical Topology）の定義 圏 $\mathcal{B}$ 上の位相 $J$ に関して、任意の対象 $Y \in \mathcal{B}$ が定める表現可能前層 $h_Y = \mathcal{B}(-, Y)$ がすべて層（sheaf）になるとき、 $J$ をサブカノニカル位相（subcanonical topology）と呼びます。 **カノニカル位相**とは、 $\mathcal{B}$ 上のサブカノニカル位相全体のなかで（ふるいの包含関係に関して）**最大のグロタンディーク位相**として定義されます。 --- ## 2. 圏 $CHaus$ におけるグロタンディーク位相の特徴付け 圏 $CHaus$ （対象：コンパクトハウスドルフ空間、射：連続写像）において、対象 $X$ に対する被覆ふるいの族 $\{J(S)\}_{S \in \operatorname{Ob}(CHaus)}$ （以下、記号を統一するため $J(X)$ と書きます）を以下のように特徴付けます。 > **【特徴付け（候補）】** > $X$ 上のふるい $S$ が $J(X)$ に属するための必要十分条件は、 **$S$ がある有限共同全射な射の族を含むこと** である。 > すなわち、ある有限個の連続写像の族 $\{f_i: X_i \to X\}_{i=1}^n \subset S$ が存在して、 $\bigcup_{i=1}^n f_i(X_i) = X$ を満たす。 これが実際にグロタンディーク位相をなすことを、細部を詰めて証明します。具体的な計算のために、有限共同全射族の全体を被覆底（pretopology）として扱います。 ### 準備：$CHaus$ におけるプルバックの存在 公理（安定性）を検証するため、 $CHaus$ がプルバックを持つことを示します。 $f: X \to Z$ と $g: Y \to Z$ を $CHaus$ の射とします。集合論的なプルバック $$X \times_Z Y = \{(x, y) \in X \times Y \mid f(x) = g(y)\}$$ を考えます。積空間 $X \times Y$ はチコノフの定理よりコンパクトハウスドルフ空間です。写像 $h: X \times Y \to Z \times Z, \, (x,y) \mapsto (f(x), g(y))$ は連続であり、 $Z$ がハウスドルフ空間であることから、対角成分 $\Delta_Z = \{(z,z) \in Z \times Z\}$ は閉集合です。したがって、 $X \times_Z Y = h^{-1}(\Delta_Z)$ はコンパクト空間の閉部分空間であるため、自身もコンパクトハウスドルフ空間（すなわち $CHaus$ の対象）です。 ### グロタンディーク位相の公理の検証 #### (1) 極大性 恒等射による単元族 $\{id_X: X \to X\}$ は有限共同全射族であり、これは任意の最大ふるい $t_X$ に含まれるため、 $t_X \in J(X)$ です。 #### (2) 底の変換の下での安定性 $S \in J(X)$ とし、任意の連続写像 $h: Y \to X$ をとります。仮定より、 $S$ はある有限共同全射族 $\{f_i: X_i \to X\}_{i=1}^n$ を含みます。 各 $i$ について、プルバック平方を構成します： $$\begin{array}{ccc} X_i \times_X Y & \xrightarrow{p_i} & Y \\ q_i \downarrow & & \downarrow h \\ X_i & \xrightarrow[f_i]{} & X \end{array}$$ 族 $\{p_i: X_i \times_X Y \to Y\}_{i=1}^n$ が共同全射であることを示します。任意の $y \in Y$ に対し、 $h(y) \in X$ です。 $\{f_i\}$ の共同全射性から、ある $i$ と $x \in X_i$ が存在して $f_i(x) = h(y)$ となります。プルバックの定義より $(x, y) \in X_i \times_X Y$ であり、 $p_i(x, y) = y$ となるため、 $\bigcup_{i=1}^n p_i(X_i \times_X Y) = Y$ が成り立ちます。 定義より $h \circ p_i = f_i \circ q_i$ であり、 $f_i \in S$ から右合同性により $h \circ p_i \in S$ 、すなわち $p_i \in h^*S$ です。よって $h^*S$ は有限共同全射族 $\{p_i\}$ を含むため、 $h^*S \in J(Y)$ です。 #### (3) 推移性 $S \in J(X)$ とし、 $R$ を $X$ 上のふるいとして、任意の $h \in S$ に対し $h^*R \in J(\operatorname{dom}(h))$ であるとします。 $S \in J(X)$ より、ある有限共同全射族 $\{f_i: X_i \to X\}_{i=1}^n \subset S$ が存在します。各 $f_i$ に対し、仮定から $f_i^*R \in J(X_i)$ なので、ある有限共同全射族 $\{g_{ij}: Y_{ij} \to X_i\}_{j=1}^{m_i} \subset f_i^*R$ が存在します。 引き戻しふるいの定義から、すべての $i, j$ について $f_i \circ g_{ij} \in R$ です。 ここで、合成された射の族 $\{f_i \circ g_{ij}: Y_{ij} \to X \mid 1 \le i \le n, \, 1 \le j \le m_i\}$ を考えると、これは有限族です。これが共同全射であることを示します。 任意の $x \in X$ に対し、 $\{f_i\}$ の共同全射性から、ある $i$ と $z \in X_i$ が存在して $f_i(z) = x$ となります。次に、その $z$ に対し、 $\{g_{ij}\}_j$ の共同全射性から、ある $j$ と $w \in Y_{ij}$ が存在して $g_{ij}(w) = z$ となります。 したがって、 $(f_i \circ g_{ij})(w) = f_i(g_{ij}(w)) = f_i(z) = x$ となり、この有限族は共同全射です。これが $R$ に含まれるため、 $R \in J(X)$ が従います。 以上により、この特徴付けは $CHaus$ 上の正当なグロタンディーク位相を与えます。 --- ## 3. カノニカル位相であることの証明 この位相が $CHaus$ 上のカノニカル位相であることを示すために、「サブカノニカルであること（すべての表現可能前層が層になる）」および「サブカノニカルな位相のなかで最大であること」の二段階に分けて厳密に証明します。 ### ステップ1：サブカノニカル性 任意の対象 $Y \in CHaus$ に対し、表現可能前層 $h_Y = \operatorname{Hom}_{CHaus}(-, Y)$ が上記で定義した位相に関して層であることを示します。ふるいが有限共同全射族を含むため、有限共同全射族 $\{f_i: X_i \to X\}_{i=1}^n$ に対して層の条件（一意存在性）が満たされることを示せば十分です。 各 $i$ に対して連続写像 $k_i: X_i \to Y$ の族が与えられ、任意の普遍的な交わり（プルバック）の上で一致しているとします。すなわち、 $p_1: X_i \times_X X_j \to X_i, \, p_2: X_i \times_X X_j \to X_j$ に対し、 $k_i \circ p_1 = k_j \circ p_2$ が成り立っているとします。これは集合の元で言えば、 $f_i(x) = f_j(x') \implies k_i(x) = k_j(x')$ を意味します。 1. **一意性**: $\{f_i\}$ は共同全射なので、写像 $\sum X_i \to X$ は全射です。集合論的な全射性から、各点での条件を満たす共通の集合写像 $k: X \to Y$ は高々一つしか存在しません。 2. **存在性と連続性**: 各点での一致条件から、集合写像 $k: X \to Y$ が一意に定まります。この $k$ が連続であることを示します。 不連続和空間からの自然な連続写像 $p: \coprod_{i=1}^n X_i \to X$ は、ドメインがコンパクト空間（有限個のコンパクト空間の和はコンパクト）であり、コドメインがハウスドルフ空間であるような**全射連続写像**です。 トポロジーの一般的な定理（コンパクトからハウスドルフへの全射連続写像は閉じ写像であり、したがって商写像である）より、 $p$ は商写像（quotient map）です。 商位相の普遍性から、写像 $k: X \to Y$ が連続であるための必要十分条件は、 $k \circ p: \coprod X_i \to Y$ が連続であることです。不連続和のトポロジーの定義から、これは各成分への制限 $(k \circ p)|_{X_i} = k \in \operatorname{Hom}_{CHaus}(X_i, Y)$ がすべて連続であることと同値であり、これは仮定された $k_i$ の連続性から満たされています。 したがって、 $k$ は $CHaus$ の射として一意に存在し、 $h_Y$ は層となります。よって、この位相はサブカノニカルです。 ### ステップ2：最大性（カノニカル性） 逆に、 $J'$ を $CHaus$ 上の任意のサブカノニカル位相とします。 $S \in J'(X)$ であるとき、 $S$ が有限共同全射な部分家族を必ず含むことを、実数値連続関数のバナッハ空間のトポロジーを用いて背理法で証明します。 各 $f \in S$ に対し、その像 $K_f = f(X_f)$ はコンパクト空間の連続像なので、 $X$ の閉部分空間です。 **【背理法の仮定】**： $S$ がいかなる有限共同全射な部分家族も含まないと仮定します。 このとき、 $S$ の任意の有限部分集合 $F \subset S$ に対して、 $K_F = \bigcup_{f \in F} K_f \neq X$ が成り立ちます。 $J'$ はサブカノニカル位相なので、コンパクトハウスドルフ空間 $Z = [-1, 1]$ に対する表現可能前層 $h_{[-1, 1]}$ は $J'$ に関して層です。実数値連続関数の空間（バナッハ空間） $C(X) = C(X, \mathbb{R})$ を考えると、層の条件（および各 $X_f \to K_f$ が商写像であること）から、制限写像の族が誘導する射影極限への自然な線形写像 $$T: C(X) \to \lim_{f \in S} C(K_f)$$ は線形同型（代数的な全単射）となります。 ここで、バナッハ空間 $C(X)$ は一様収束ノルム $\|g\|_{\infty} = \sup_{x \in X} |g(x)|$ を持ちます。射影極限空間 $\lim C(K_f)$ のトポロジーは、各 $C(K_f)$ の一様ノルムから誘導される射影極限位相（フレシェ空間の構造）を持ちます。層の条件から定まる同型写像の逆写像 $T^{-1}$ は連続線形写像でなければなりません。 局所凸空間の射影極限からの連続線形写像の性質（あるいは開写像定理の帰結）から、バナッハ空間 $C(X)$ のノルムは、ドメインの**有限個の成分のセミノルム（ノルム）によって抑えられなければならない**という構造的要請が生じます。すなわち、ある有限部分集合 $F \subset S$ と定数 $C > 0$ が存在して、任意の $g \in C(X)$ に対して次の不等式が普遍的に成り立たなければなりません： $$\|g\|_{\infty} \le C \max_{f \in F} \|g|_{K_f}\|_{\infty}$$ しかし、背理法の仮定より、この有限部分集合 $F$ に対応する閉集合 $K_F = \bigcup_{f \in F} K_f$ は $X$ 全体ではなく（ $K_F \neq X$ ）、その補集合 $X \setminus K_F$ は**空でない開集合**です。 ここでウリゾーンの補題（Urysohn's Lemma）をコンパクトハウスドルフ空間 $X$ 上の互いに交わらない閉集合である $K_F$ と一点 $\{x_0\} \subset X \setminus K_F$ に対して適用します。これにより、次を満たす連続関数 $g: X \to [0, 1] \subset \mathbb{R}$ が確実に存在します： 1. 任意の $x \in K_F$ に対して $g(x) = 0$ 2. 点 $x_0$ において $g(x_0) = 1$ この関数 $g$ について上記の不等式の両辺を評価します： * **左辺**: $\|g\|_{\infty} \ge g(x_0) = 1$ * **右辺**: 任意の $f \in F$ に対し、定義から $K_f \subset K_F$ であり、 $K_F$ 上で $g$ は恒等的に $0$ なので、制限関数のノルムは $\|g|_{K_f}\|_{\infty} = 0$ です。したがって、 $\max_{f \in F} \|g|_{K_f}\|_{\infty} = 0$ となります。 これを不等式に代入すると、 $$1 \le C \cdot 0 = 0$$ となり、数学的な矛盾が生じます。 したがって、背理法の仮定は誤りであり、サブカノニカル位相 $J'$ に属する任意の被覆ふるい $S$ は、必ず有限共同全射な部分家族を含まなければなりません（すなわち $J' \subset J$ ）。 以上により、有限共同全射族によって生成されるグロタンディーク位相は、圏 $CHaus$ 上のカノニカル位相そのものであることが完全に証明されました。